TAGs: Abstract format example